منابع مشابه
Lucid and Efficient Case Analysis
This paper describes a new scheme for building static search trees, using multiway radix search trees. We present this method for code generation of switch statements in imperative languages. We show that, for sparse case sets, the method produces faster code on average than existing methods, requiring O(1) time with a small constant for the average search. We then apply this method to the prob...
متن کاملImproved Dimensionality Analysis for Lucid∗
We describe work in progress on a method for determining the dimensionality of Lucid terms. This method gives a better (i.e., lower) upper bound on expressions involving function calls than the method currently in use.
متن کاملStructured Lucid ∗
Structured Lucid is an ISWIM-like language formed by combining Basic Lucid and USWIM. Structured Lucid is almost a member of the USWIM family, except that a distinction is made between two kinds of function variables: those which denote functions mapping streams (histories) of data objects to streams of data objects, and those which denote streams of functions mapping data objects to data objec...
متن کاملLucid Representations
This paper criticizes the widespread idea that knowledge bases in AI systems should be complete and that representations should be \model-like." The arguments in favor of such representations are less cogent and more ambiguous than they appear at rst. Levesque's suggestion that representations should be \vivid" is extremely restrictive, particularly in its uniform imposition of a closed-world a...
متن کاملLucid, Inc.
Multiprocessing programming languages must support the styles of programming that are natural to the programmer, and they must be able to express all of the forms of concurrency that exist. Qlisp, a dialect of Lisp, is proposed as a multiprocessing programming language which is suitable for studying the styles of parallel programming. There are two sorts of parallelism in Qlisp: 1) the true par...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Deutsches Aerzteblatt Online
سال: 2010
ISSN: 1866-0452
DOI: 10.3238/arztebl.2010.0225a